Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suite
Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools
The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...
Lire la suite
Model-based Process Supervision : A Bond Graph Approach
Model-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and ...
Lire la suiteModelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems
This monograph presents a variety of techniques that can be used for designing robust fault diagnosis schemes for non-linear ...
Lire la suiteNonlinear Observers and Applications
The problem of state reconstruction in dynamical systems, known as observer problem, is undoubtedly crucial for controlling ...
Lire la suite
Underwater Robots : Motion and Force Control of Vehicle-Manipulator Systems
This book deals with the main control aspects in underwater manipulation tasks. The mathematical model with significant impact ...
Lire la suite
